Ronchi Della Rocca, Simona: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Principal type scheme and unification for intersection type discipline

Simona Ronchi Della Rocca

Journal:

Theoretical Computer Science

Year:

1988

Language:

english

File:

PDF, 2.87 MB

english, 1988

2

Intersection Typed λ-calculus

Simona Ronchi Della Rocca

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 1.18 MB

english, 2003

3

Lambda Calculus and Intuitionistic Linear Logic

Simona Ronchi della Rocca and Luca Roversi

Journal:

Year:

1997

Language:

english

File:

PDF, 2.66 MB

english, 1997

4

Preface

Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca

Journal:

Theoretical Computer Science

Year:

1991

Language:

english

File:

PDF, 38 KB

english, 1991

5

Preface

Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simona Ronchi della Rocca

Journal:

Theoretical Computer Science

Year:

1991

Language:

english

File:

PDF, 43 KB

english, 1991

6

Soft Linear Logic and Polynomial Complexity Classes

Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 346 KB

english, 2008

7

Lazy Strong Normalization

Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 252 KB

english, 2005

8

Logical Semantics for Stability

Luca Paolini, Mauro Piccolo, Simona Ronchi Della Rocca

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 441 KB

english, 2009

9

Strong normalization from an unusual point of view

Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 295 KB

english, 2011

10

Comparing cubes of typed and type assignment systems

Steffen van Bakel, Luigi Liquori, Simona Ronchi della Rocca, Pawel Urzyczyn

Journal:

Annals of Pure and Applied Logic

Year:

1997

Language:

english

File:

PDF, 2.17 MB

english, 1997

11

Lazy Logical Semantics

Luca Paolini, Simona Ronchi Della Rocca

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 302 KB

english, 2004

12

Towards an Intersection Typed System à la Church

Luigi Liquori, Simona Ronchi della Rocca

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 260 KB

english, 2005

13

Lambda Calculus and Intuitionistic Linear Logic

Simona Ronchi della Rocca, Luca Roversi

Journal:

Year:

1997

Language:

english

File:

PDF, 340 KB

english, 1997

14

Parametric parameter passing λ-calculus

Luca Paolini, Simona Ronchi Della Rocca

Journal:

Information and Computation

Year:

2004

Language:

english

File:

PDF, 289 KB

english, 2004

15

Intersection-types à la Church

Luigi Liquori, Simona Ronchi Della Rocca

Journal:

Information and Computation

Year:

2007

Language:

english

File:

PDF, 723 KB

english, 2007

16

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 4583 || Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo

Della Rocca, Simona Ronchi

Year:

2007

Language:

english

File:

PDF, 387 KB

english, 2007

17

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 4583 || Two Session Typing Systems for Higher-Order Mobile Processes

Della Rocca, Simona Ronchi

Year:

2007

Language:

english

File:

PDF, 460 KB

english, 2007

18

[Lecture Notes in Computer Science] Theoretical Computer Science Volume 2202 || Directed Hypergraphs: Problems, Algorithmic Results, and a Novel Decremental Approach

Restivo, Antonio, Della Rocca, Simona Ronchi, Roversi, Luca

Year:

2001

Language:

english

File:

PDF, 272 KB

english, 2001

19

[Lecture Notes in Computer Science] Theoretical Computer Science Volume 2202 ||

Restivo, Antonio, Della Rocca, Simona Ronchi, Roversi, Luca

Year:

2001

Language:

english

File:

PDF, 5.19 MB

english, 2001

20

An Implicit Characterization of PSPACE

Gaboardi, Marco, Marion, Jean-Yves, Ronchi Della Rocca, Simona

Journal:

ACM Transactions on Computational Logic

Year:

2012

Language:

english

File:

PDF, 335 KB

english, 2012

21

Introduction to Special Issue: Intersection types–new insights

DEZANI-CIANCAGLINI, MARIANGIOLA, ROCCA, SIMONA RONCHI DELLA

Journal:

Mathematical Structures in Computer Science

Year:

2003

Language:

english

File:

PDF, 195 KB

english, 2003

22

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 4583 || An Arithmetical Proof of the Strong Normalization for the λ-Calculus with Recursive Equations on Types

Della Rocca, Simona Ronchi

Year:

2007

Language:

english

File:

PDF, 467 KB

english, 2007

23

A logical account of pspace

Gaboardi, Marco, Marion, Jean-Yves, Della Rocca, Simona Ronchi

Journal:

ACM SIGPLAN Notices

Year:

2008

Language:

english

File:

PDF, 253 KB

english, 2008

24

[ACM Press the 35th annual ACM SIGPLAN-SIGACT symposium - San Francisco, California, USA (2008.01.07-2008.01.12)] Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08 - A logical account of pspace

Gaboardi, Marco, Marion, Jean-Yves, Della Rocca, Simona Ronchi

Year:

2008

Language:

english

File:

PDF, 253 KB

english, 2008

25

Guest editorial

Baillot, Patrick, Marion, Jean-Yves, Rocca, Simona Ronchi Della

Journal:

ACM Transactions on Computational Logic

Year:

2009

Language:

english

File:

PDF, 32 KB

english, 2009

26

Structured Operational Semantics of a fragment of the language Scheme

HONSELL, FURIO, PRAVATO, ALBERTO, DELLA ROCCA, SIMONA RONCHI

Journal:

Journal of Functional Programming

Year:

1998

Language:

english

File:

PDF, 351 KB

english, 1998

27

The call-by-value λ-calculus: a semantic investigation

PRAVATO, ALBERTO, della ROCCA, SIMONA RONCHI, ROVERSI, LUCA

Journal:

Mathematical Structures in Computer Science

Year:

1999

Language:

english

File:

PDF, 477 KB

english, 1999

28

Preface

Ronchi Della Rocca, Simona

Journal:

Information and Computation

Year:

2016

Language:

english

File:

PDF, 116 KB

english, 2016

29

Preface of the special issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011

Shkaravska, Olha, Della Rocca, Simona Ronchi, van Eekelen, Marko

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 134 KB

english, 2015

30

A type assignment for λ-calculus complete both for FPTIME and strong normalization

De Benedetti, Erika, Ronchi Della Rocca, Simona

Journal:

Information and Computation

Year:

2016

Language:

english

File:

PDF, 498 KB

english, 2016

31

Essential and relational models

PAOLINI, LUCA, PICCOLO, MAURO, RONCHI DELLA ROCCA, SIMONA

Journal:

Mathematical Structures in Computer Science

Year:

2017

Language:

english

File:

PDF, 270 KB

english, 2017

32

Call-by-value Solvability

Paolini, Luca, Simona Ronchi Della Rocca,

Journal:

RAIRO - Theoretical Informatics and Applications

Year:

1999

Language:

english

File:

PDF, 247 KB

english, 1999

33

Characterizing polynomial and exponential complexity classes in elementary lambda-calculus

Baillot, Patrick, De Benedetti, Erika, Ronchi Della Rocca, Simona

Journal:

Information and Computation

Year:

2018

Language:

english

File:

PDF, 1.21 MB

english, 2018

34

[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Lambda Calculus and Probabilistic Computation

Faggian, Claudia, Rocca, Simona Ronchi della

Year:

2019

Language:

english

File:

PDF, 547 KB

english, 2019

35

New Semantical Insights Into Call-by-Value Î»-Calculus

Manzonetto, Giulio, Pagani, Michele, Ronchi Della Rocca, Simona, Altenkirch, Thorsten, Schubert, Aleksy

Journal:

Fundamenta Informaticae

Year:

2019

File:

PDF, 195 KB

2019